theory of computation造句
例句與造句
- He has an msc in mathematical logic and the theory of computation from bristol university , uk
他具有英國bristol university頒發(fā)的數(shù)理邏輯和計(jì)算理論的理學(xué)碩士學(xué)位。 - Description : introduction to the theory of computation provides a mathematical treatment of computation theory grounded in theorems and proofs
描述： 《計(jì)算理論引導(dǎo)》用數(shù)學(xué)的手段，以定理和證明為基礎(chǔ)，向大家介紹了計(jì)算理論。 - In recognition of his fundamental contributions to the theory of computation , including the complexity - based theory of pseudorandom number generation , cryptography , and communication complexity
因在計(jì)算理論方面的貢獻(xiàn)而獲獎。包括偽隨機(jī)數(shù)的生成算法、加密算法和通訊復(fù)雜性。 - The dissertation discusses some theories of computation including the unit stiff matrix of the spatial member in the local coordinates ， the coordinate transformation , the integration of the integer stiff matrix ， the equivalent joint load ， the introduction of the boundary condition ， the computation of the unit internal force and support reaction ， the stableness of the spatial stiff frame . the dissertation also discusses the methods of dealing with several unusual problems such as combined structure , temperature stress ， elastic bearing
本文論述了空間桿件局部坐標(biāo)單元剛度矩陣、坐標(biāo)轉(zhuǎn)換、整體剛度矩陣的集成、等效結(jié)點(diǎn)荷載、邊界條件的引入、單元內(nèi)力與支座反力計(jì)算、空間剛架穩(wěn)定的計(jì)算理論，以及組合結(jié)構(gòu)、溫度內(nèi)力、彈性支承等幾個特殊問題的處理方法。 - Abstract : based on the fundamental theory of computation of the cable - prestressed steel trusses established in paper 1 , the iterative perturbation formulas which inversively determine the stiffenesses of elements of steel trusses and cables with the restraint of vertical displacements of the truss are put forward on matrix perturbation principle
文摘:基于文1所建立的拉索式予應(yīng)力鋼桁架基本計(jì)算理論，根據(jù)矩陣攝動原理進(jìn)一步給出了以豎向結(jié)點(diǎn)位移為約束反演確定任意布索張拉予應(yīng)力鋼桁架單元剛度和拉索剛度的攝動迭代公式。 - It's difficult to find theory of computation in a sentence. 用theory of computation造句挺難的
- Professor yao was awarded the turing award in 2000 , " in recognition of his fundamental contributions to the theory of computation , including the complexity - based theory of pseudorandom number generation , cryptography , and communication complexity " . his research activities are in the design of efficient computer algorithms , and complexity theories in emerging new areas of theoretical computer science , such as quantum communication and computing
姚教授于2000年獲頒杜林獎，這是美國計(jì)算機(jī)學(xué)會自1966年設(shè)立杜林獎以來，首次頒予華人科學(xué)家，美國計(jì)算機(jī)學(xué)會并贊揚(yáng)姚教授對計(jì)算理論作出了根本性而意義重大的貢獻(xiàn)，其中包括基于復(fù)雜性的?亂數(shù)生成理論、密碼學(xué)和通信復(fù)雜性。